David Thomas

Results: 1142



#Item
141

A Provably Correct Stackless Intermediate Representation for Java Bytecode Delphine Demange1 , Thomas Jensen2 , and David Pichardie2 2 1

Add to Reading List

Source URL: www.irisa.fr

Language: English - Date: 2010-09-23 11:52:52
    142

    Comparative Effectiveness of ST-Segment−Elevation Myocardial Infarction Regionalization Strategies Thomas W. Concannon, David M. Kent, Sharon-Lise Normand, Joseph P. Newhouse, John L. Griffith, Joshua Cohen, Joni R. Be

    Add to Reading List

    Source URL: protectems.org

    Language: English - Date: 2013-06-03 17:00:18
      143

      A Search Engine for 3D Models THOMAS FUNKHOUSER, PATRICK MIN, MICHAEL KAZHDAN, JOYCE CHEN, ALEX HALDERMAN, and DAVID DOBKIN Princeton University and DAVID JACOBS

      Add to Reading List

      Source URL: cvs.cs.umd.edu

      Language: English - Date: 2003-07-29 10:19:25
        144

        Tensions across the Scales: Planning Infrastructure for the Long-Term David Ribes Thomas A. Finholt

        Add to Reading List

        Source URL: interoperability.ucsd.edu

        Language: English - Date: 2008-01-30 14:06:02
          145

          veriT: an open, trustable and efficient SMT-solver Thomas Bouton2 , Diego Caminha B. de Oliveira2 , David D´eharbe1 , and Pascal Fontaine2 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

          Add to Reading List

          Source URL: www.montefiore.ulg.ac.be

          Language: English - Date: 2009-07-30 08:28:54
            146

            GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine

            Add to Reading List

            Source URL: www.verit-solver.org

            Language: English - Date: 2015-06-10 09:33:21
              147

              David Filer Forecast After Thomas Hardy Puget Island, Washington, December 2006

              Add to Reading List

              Source URL: www.hevanet.com

              - Date: 2008-04-25 22:03:15
                148

                1 Measuring ISP Topologies with Rocketfuel Neil Spring, Ratul Mahajan, David Wetherall, and Thomas Anderson Department of Computer Science and Engineering University of Washington

                Add to Reading List

                Source URL: djw.cs.washington.edu

                Language: English - Date: 2003-09-11 17:57:34
                  149

                  Automatic inference of Java non-null annotations Laurent Hubert, Thomas Jensen and David Pichardie CNRS / INRIA / IRISA - Rennes, France FMOODS’08 - Oslo

                  Add to Reading List

                  Source URL: www.trebuh.net

                  Language: English - Date: 2016-01-16 09:07:19
                    150

                    Sawja: Static Analysis Workshop for Java Laurent Hubert1 , Nicolas Barr´e2 , Fr´ed´eric Besson2 , Delphine Demange3 , Thomas Jensen2 , Vincent Monfort2 , David Pichardie2 , and Tiphaine Turpin2 1 CNRS/IRISA, France

                    Add to Reading List

                    Source URL: www.trebuh.net

                    Language: English - Date: 2016-01-16 09:07:20
                      UPDATE